proper subquotient

真子商